Many-Valued Models
نویسنده
چکیده
Many-valued models, besides providing a natural semantical interpretation for several non-classical logics, constitute a very sharp tool for investigating and understanding meta-logical properties in general. Although open to debates from the philosophical perspective, seen from the mathematical viewpoint many-valued matrices and algebras are perfectly well-defined mathematical objects with several attractive properties. This tutorial intends to review the main results, techniques and methods concerning the application of the many-valued approach to logic as a whole. 1 On many-valued thinking The technique of using finite models defined by means of tables (which turns out to be finite algebras) is arguably older than many-valued logics themselves, and has provided much information not only about non-classical systems as relevant logics, linear logic, intuitionistic logics and paraconsistent logics, but also about fragments of classical logic. The problem of enumerating such algebras satisfying given constraints is an interesting general problem and has received attention from several different areas. In this tutorial we present an elementary but general approach on small finite models, showing their relevance and reviewing some elementary methods and techniques on their uses. There are many significant names in the history of logic that are connected with the idea of many-valuedness, for different reasons. The Polish logician and philosopher Jan Łukasiewicz was born in Łvov. His philosophical work developed around on mathematical logic; Łukasiewicz dedicated much attention to many-valued logics, including his own hierarchy of many-valued propositional calculus, considered to be the first non-classical logical calculus. He is also responsible for an elegant axiomatizations of classical propositional logic; it has just three axioms and is one of the most used axiomatizations today:
منابع مشابه
Truth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملStrict fixed points of '{C}iri'{c}-generalized weak quasicontractive multi-valued mappings of integral type
Many authors such as Amini-Harandi, Rezapour et al., Kadelburg et al., have tried to find at least one fixed point for quasi-contractions when $alphain[frac{1}{2}, 1)$ but no clear answer exists right now and many of them either have failed or changed to a lighter version. In this paper, we introduce some new strict fixed point results in the set of multi-valued '{C}iri'{c}-gener...
متن کاملMultigranulation single valued neutrosophic covering-based rough sets and their applications to multi-criteria group decision making
In this paper, three types of (philosophical, optimistic and pessimistic) multigranulation single valued neutrosophic (SVN) covering-based rough set models are presented, and these three models are applied to the problem of multi-criteria group decision making (MCGDM).Firstly, a type of SVN covering-based rough set model is proposed.Based on this rough set model, three types of mult...
متن کاملWeak Disposability in Integer-Valued Data Envelopment Analysis
Conventional data envelopment analysis (DEA) models normally assume all inputs and outputs are real valued and continuous. However in problems some inputs and outputs can only take integer values, also, both desirable and undesirable outputs can be generated . In this paper the effect of undesirable outputs in integer DEA model is discussed. The proposed model distinguishes weak disposability o...
متن کاملMultiple Fuzzy Regression Model for Fuzzy Input-Output Data
A novel approach to the problem of regression modeling for fuzzy input-output data is introduced.In order to estimate the parameters of the model, a distance on the space of interval-valued quantities is employed.By minimizing the sum of squared errors, a class of regression models is derived based on the interval-valued data obtained from the $alpha$-level sets of fuzzy input-output data.Then,...
متن کامل